[INFO] fetching crate oxiz-theories 0.1.3...
[INFO] testing oxiz-theories-0.1.3 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate oxiz-theories 0.1.3 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate oxiz-theories 0.1.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oxiz-theories 0.1.3
[INFO] tweaked toml for crates.io crate oxiz-theories 0.1.3 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate oxiz-theories 0.1.3 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oxiz-theories 0.1.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded quanta v0.12.6
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded wide v1.1.1
[INFO] [stderr]   Downloaded oxiz-nlsat v0.1.3
[INFO] [stderr]   Downloaded oxiz-math v0.1.3
[INFO] [stderr]   Downloaded oxiz-sat v0.1.3
[INFO] [stderr]   Downloaded rhai v1.24.0
[INFO] [stderr]   Downloaded oxiz-core v0.1.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0630fe4475983e94a342081308146ef89de46980c7a0430bd379b1b118d0336b
[INFO] running `Command { std: "docker" "start" "-a" "0630fe4475983e94a342081308146ef89de46980c7a0430bd379b1b118d0336b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0630fe4475983e94a342081308146ef89de46980c7a0430bd379b1b118d0336b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0630fe4475983e94a342081308146ef89de46980c7a0430bd379b1b118d0336b", kill_on_drop: false }`
[INFO] [stdout] 0630fe4475983e94a342081308146ef89de46980c7a0430bd379b1b118d0336b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5b50dea50ef6d1e03401e0439a1274f53441f1cbdf3d41624adc5cc07dc00d84
[INFO] running `Command { std: "docker" "start" "-a" "5b50dea50ef6d1e03401e0439a1274f53441f1cbdf3d41624adc5cc07dc00d84", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling safe_arch v1.0.0
[INFO] [stderr]    Compiling thin-vec v0.2.14
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling wide v1.1.1
[INFO] [stderr]    Compiling symbol_table v0.4.0
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling const-random v0.1.18
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rhai_codegen v3.1.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling oxiz-math v0.1.3
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3
[INFO] [stderr]    Compiling oxiz-theories v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 12s
[INFO] running `Command { std: "docker" "inspect" "5b50dea50ef6d1e03401e0439a1274f53441f1cbdf3d41624adc5cc07dc00d84", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5b50dea50ef6d1e03401e0439a1274f53441f1cbdf3d41624adc5cc07dc00d84", kill_on_drop: false }`
[INFO] [stdout] 5b50dea50ef6d1e03401e0439a1274f53441f1cbdf3d41624adc5cc07dc00d84
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 37f6355f75d37b39ec3cf657a3d6028fce32c22762eddaa57fbaf384d6392306
[INFO] running `Command { std: "docker" "start" "-a" "37f6355f75d37b39ec3cf657a3d6028fce32c22762eddaa57fbaf384d6392306", kill_on_drop: false }`
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rhai v1.24.0
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling regex-syntax v0.8.9
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling proptest v1.10.0
[INFO] [stderr]    Compiling oxiz-core v0.1.3
[INFO] [stderr]    Compiling oxiz-nlsat v0.1.3
[INFO] [stderr]    Compiling oxiz-sat v0.1.3
[INFO] [stderr]    Compiling oxiz-theories v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr] error: could not compile `oxiz-theories` (lib test)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1f7f8ea0721a3b1eb73e6c6d25cccb371434b320/bin/rustc --crate-name oxiz_theories --edition=2024 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=44f0b352abd21fd7 -C extra-filename=-8a830b431631b200 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern egg=/opt/rustwide/target/debug/deps/libegg-56d05917306e1150.rlib --extern lasso=/opt/rustwide/target/debug/deps/liblasso-b9a6f5fc260d6cd4.rlib --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-cf9a0e60559c6f38.rlib --extern num_rational=/opt/rustwide/target/debug/deps/libnum_rational-7d2e71f66d650b4a.rlib --extern num_traits=/opt/rustwide/target/debug/deps/libnum_traits-8434f84c7e6b85f7.rlib --extern oxiz_core=/opt/rustwide/target/debug/deps/liboxiz_core-5cba7ce16df14ffa.rlib --extern oxiz_math=/opt/rustwide/target/debug/deps/liboxiz_math-9905a62f154ff826.rlib --extern oxiz_nlsat=/opt/rustwide/target/debug/deps/liboxiz_nlsat-0e46c549ce2a86a4.rlib --extern oxiz_sat=/opt/rustwide/target/debug/deps/liboxiz_sat-102bb47ceb94f3fd.rlib --extern proptest=/opt/rustwide/target/debug/deps/libproptest-544269aa866ea4a9.rlib --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-d7c9c021d0487117.rlib --extern smallvec=/opt/rustwide/target/debug/deps/libsmallvec-6c765cf4438cccb0.rlib --extern tracing=/opt/rustwide/target/debug/deps/libtracing-a9c078f334f02ff2.rlib --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustczY4wWo/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{liboxiz_theories-33cb90f91aa74d33,liboxiz_nlsat-0e46c549ce2a86a4,libnum_cpus-8ef67c2b292e58c2,liboxiz_math-9905a62f154ff826,librand-1291643f8185f48d,librand_chacha-c034758117f00ba9,libppv_lite86-7e18c5ecbabbe7da,librand_core-0dd5a39b32f1a1e7,liboxiz_sat-102bb47ceb94f3fd,libtracing-a9c078f334f02ff2,libpin_project_lite-bedc6e0acd72ff2a,libtracing_core-59d968c9150e4ea2,liboxiz_core-5cba7ce16df14ffa,librhai-2369f3335383c374,libsmartstring-39bfd9a2f40fa097,libstatic_assertions-d53a9977dc6e27e5,libthin_vec-8d05cc09660eeb9c,libbitflags-9710438662028847,libthiserror-e720aa68c8ef24a1,libwide-c4acdf2035de9c0f,libsafe_arch-9b2bc816a925885d,libbytemuck-225736d622151e28,librayon-929e01184f112040,librayon_core-52eb7fbf8b046d0c,libcrossbeam_deque-5a8bc6150a57d553,libcrossbeam_epoch-7bc0ab567b886199,libeither-3b4351e3b18e236a,libnum_rational-7d2e71f66d650b4a,libnum_bigint-cf9a0e60559c6f38,libnum_integer-5b6ac14ce642ff72,libnum_traits-8434f84c7e6b85f7,liblasso-b9a6f5fc260d6cd4,libdashmap-820ced0d33bbd477,libcrossbeam_utils-bddddcad4a4551ea,libhashbrown-7ffff4e73d4105ef,libahash-d2b4810c5cf2b9e2,libgetrandom-8ad90180b871c4ee,libonce_cell-3b9493e54d84eefc,libportable_atomic-19fe0bc59b947ecb,libzerocopy-7b8e2db7912d95c2,liballocator_api2-3bc2480ae44878f3,librustc_hash-d7c9c021d0487117,libparking_lot-4c0ed5d406e65ad7,libparking_lot_core-e121a0bb93777b75,liblibc-0ae50395762272e0,libcfg_if-5af52f617df93f8f,libsmallvec-6c765cf4438cccb0,libserde-b12b789477dca11e,libserde_core-d87d0883796e9126,liblock_api-ec1e77aca18a533b,libscopeguard-d52bd00767847e44}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustczY4wWo/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_trace_bits-dc5b768736c6763c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oxiz-theories` (test "test_trace_bits") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcvJorr8/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{liboxiz_theories-33cb90f91aa74d33,liboxiz_nlsat-0e46c549ce2a86a4,libnum_cpus-8ef67c2b292e58c2,liboxiz_math-9905a62f154ff826,librand-1291643f8185f48d,librand_chacha-c034758117f00ba9,libppv_lite86-7e18c5ecbabbe7da,librand_core-0dd5a39b32f1a1e7,liboxiz_sat-102bb47ceb94f3fd,libtracing-a9c078f334f02ff2,libpin_project_lite-bedc6e0acd72ff2a,libtracing_core-59d968c9150e4ea2,liboxiz_core-5cba7ce16df14ffa,librhai-2369f3335383c374,libsmartstring-39bfd9a2f40fa097,libstatic_assertions-d53a9977dc6e27e5,libthin_vec-8d05cc09660eeb9c,libbitflags-9710438662028847,libthiserror-e720aa68c8ef24a1,libwide-c4acdf2035de9c0f,libsafe_arch-9b2bc816a925885d,libbytemuck-225736d622151e28,librayon-929e01184f112040,librayon_core-52eb7fbf8b046d0c,libcrossbeam_deque-5a8bc6150a57d553,libcrossbeam_epoch-7bc0ab567b886199,libeither-3b4351e3b18e236a,libnum_rational-7d2e71f66d650b4a,libnum_bigint-cf9a0e60559c6f38,libnum_integer-5b6ac14ce642ff72,libnum_traits-8434f84c7e6b85f7,liblasso-b9a6f5fc260d6cd4,libdashmap-820ced0d33bbd477,libcrossbeam_utils-bddddcad4a4551ea,libhashbrown-7ffff4e73d4105ef,libahash-d2b4810c5cf2b9e2,libgetrandom-8ad90180b871c4ee,libonce_cell-3b9493e54d84eefc,libportable_atomic-19fe0bc59b947ecb,libzerocopy-7b8e2db7912d95c2,liballocator_api2-3bc2480ae44878f3,librustc_hash-d7c9c021d0487117,libparking_lot-4c0ed5d406e65ad7,libparking_lot_core-e121a0bb93777b75,liblibc-0ae50395762272e0,libcfg_if-5af52f617df93f8f,libsmallvec-6c765cf4438cccb0,libserde-b12b789477dca11e,libserde_core-d87d0883796e9126,liblock_api-ec1e77aca18a533b,libscopeguard-d52bd00767847e44}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcvJorr8/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_ult_unknowns-1abba2a3ff0420d8" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: collect2: fatal error: ld terminated with signal 9 [Killed]
[INFO] [stdout]           compilation terminated.
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oxiz-theories` (test "test_ult_unknowns") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "37f6355f75d37b39ec3cf657a3d6028fce32c22762eddaa57fbaf384d6392306", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "37f6355f75d37b39ec3cf657a3d6028fce32c22762eddaa57fbaf384d6392306", kill_on_drop: false }`
[INFO] [stdout] 37f6355f75d37b39ec3cf657a3d6028fce32c22762eddaa57fbaf384d6392306
